/**
 * Sencha GXT 3.1.0 - Sencha for GWT
 * Copyright(c) 2007-2014, Sencha, Inc.
 * licensing@sencha.com
 *
 * http://www.sencha.com/products/gxt/license/
 */
@def padding value('theme.menu.bar.padding.toString');
@def borderWidth value('theme.menu.bar.border.toString');
@def borderStyle value('theme.menu.bar.border.style');
@def borderColor value('theme.menu.bar.border.color');

@sprite .menuBar {
  gwt-image: 'background';
  height: auto;

  border-width: borderWidth;
  border-style: borderStyle;
  border-color: borderColor;

  cursor: default;
  padding: padding;
  overflow: hidden;
}
